i  j  k == (i  j) & (j  k) 

latex

Up	int 1, int 1
Definitions	P & Q, A  B
FDL editor aliases	lele